Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
701	Microsoft PowerPoint - Markus_Hofmann_IOD_final.pptx Add to Reading List Source URL: edcon2013.ischool.syr.edu Language: English - Date: 2013-11-08 16:41:56 Software Formal sciences Natural language processing Statistical natural language processing Data mining Text mining Analytics Business intelligence Moodle Statistics Data analysis Science
702	BRICS RSBrabrand et al.: Analyzing Ambiguity of Context-Free Grammars BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-06-01 10:26:55 Logic Context-free grammar Ambiguous grammar Formal grammar Parsing LL parser CYK algorithm Terminal and nonterminal symbols Parsing expression grammar Formal languages Software engineering Grammar
703	Microsoft PowerPoint - Matwin-Dalhousie-EdCon2013.pptx Add to Reading List Source URL: edcon2013.ischool.syr.edu Language: English - Date: 2013-11-08 16:40:44 Formal sciences Artificial intelligence Natural language processing Statistical natural language processing Data mining Analytics Machine learning Text mining Text analytics Data analysis Science Statistics
704	facultad de inform´atica universidad polit´ecnica de madrid Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis Dragan Ivanovi´c Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2011-01-13 05:13:43 Science Artificial intelligence Structure Formal concept analysis Lattice Miner Complete lattice Frame language Kepler scientific workflow system Scientific workflow system Lattice theory Workflow technology Workflow
705	1/ Toccata Toccata Deductive Verification, Certified Tools and Numerical Computations Add to Reading List Source URL: vals.lri.fr Language: English - Date: 2015-05-21 04:16:07 Formal methods Functional languages Logic in computer science Theoretical computer science Automated theorem proving Formal verification SIGNAL Coq National Institute for Research in Computer Science and Control Computing Software engineering Software
706	A Green Way Workshop Series The Solid Waste Authority of Palm Beach County offers a variety of trainings and workshops to formal and non-formal educators. These workshops are designed to teach the participants about the Add to Reading List Source URL: sfrc.ufl.edu Language: English - Date: 2014-10-09 15:31:24 Environmental social science Waste management Environment Environmental education Municipal solid waste Education Alternative education Outdoor education
707	Department of Information Technology IV&V Guidelines [Which, e.g. Initial, Interim, Final] IV&V Report: [Agency Name] [Deliverable Name and/or #] Add to Reading List Source URL: www.doit.state.nm.us Language: English - Date: 2011-07-21 15:53:24 Technology Software quality Data security Formal methods Systems engineering process IT risk management Quality assurance Reliability engineering Software development process Systems engineering Science Information technology management
708	SATISFIABILITY GAMES FOR BRANCHING-TIME LOGICS OLIVER FRIEDMANN, MARKUS LATTE, AND MARTIN LANGE e-mail address: {oliver.friedmann, markus.latte}@ifi.lmu.de Department of Computer Science, Ludwig-Maximilians-University Mu Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2013-08-22 12:16:49 Model theory Metalogic Logic in computer science Formal languages Temporal logic Well-formed formula First-order logic Symbol Satisfiability Logic Mathematical logic Theoretical computer science
709	--------------------------------FINAL FOR POSTING-------------------------------Summary Report: Workshop to Address Changing Practices Around the Publication of Biological Data OVERVIEW The American Institute of Biologic Add to Reading List Source URL: www.aibs.org Language: English - Date: 2015-05-20 17:20:30 Formal sciences Academic publishing Data sharing Environmental science Scientific method Scientific misconduct Data management plan Dryad Data mining Science Technology Knowledge
710	ADEPT for Library Media Specialists Formal Evaluation Guidelines Add to Reading List Source URL: www.scasl.net Language: English - Date: 2015-05-08 10:05:50 Library science Cognition Evaluation Educational psychology Teacher-librarian Information literacy Educational assessment Librarian Professional development Education Knowledge Evaluation methods

UPDATE